(pos_visible_p): Compute the default character height

differently.

diff --git a/src/xdisp.c b/src/xdisp.c
index e75ae762687d8567ca75e4dd87271178e92f61a3..9b4df8444d4e91776493569d03d60f39378ab94a 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -1002,8 +1002,15 @@ pos_visible_p (w, charpos, fully, exact_mode_line_heights_p)
                             ? it.max_ascent + it.max_descent
                             : last_height);
            }
-         else 
-           line_height = FONT_HEIGHT (FRAME_FONT (XFRAME (w->frame)));
+         else
+           {
+             /* Use the default character height.  */
+             it.what = IT_CHARACTER;
+             it.c = ' ';
+             it.len = 1;
+             PRODUCE_GLYPHS (&it);
+             line_height = it.ascent + it.descent;
+           }
        }
       line_bottom_y = line_top_y + line_height;